计算机拔尖班负责人。

    计算机科学系党支部书记，系主任。

    中国计算机学会高级会员，中国人工智能学会会员。

    西安电子科技大学计算机学院工学学士、工学硕士、工学博士。

    美国University of Texas at Dallas公派访问学者。

    主持国家自然科学基金面上项目2项，陕西省重点研发计划项目2项，西安市科技计划项目1项，华为鲲鹏众智计划项目3项，中央高校基本科研业务费资助项目3项，软件工程国家重点实验室开放基金1项，教育部产学合作协同育人项目3项。在国内、国际刊物与学术会议上发表SCI/EI检索学术论文40余篇。

1. 神经网络系统的建模与验证

2. 社交网络系统的建模与验证

3. 高可信软件技术

     1. 数据库系统：本科必修课，主讲，西电智课平台课程链接

         （1）面向openGauss的数据库系统实践平台（测试用户名：T20220001，密码：12345678）

         （2）关系数据库自主学习与自动评判系统（测试用户名：1，密码：1）

     2. 编译原理：本科必修课，主讲，西电智课平台课程链接

     3. Web开发模式：硕士任选课，主讲

1. 陕西省重点研发计划项目：华为openGauss日期插件模块需求的形式化建模与验证，2023年1月-2024年12月，负责人
2. 西安市科技计划项目：西安市公交驾驶员违规预测研究，2022年7月-2024年6月，负责人
3. 华为鲲鹏众智计划项目：openGauss-实现或兼容MySQL日期处理函数开发，2022年2月-2022年11月，负责人
4. 华为鲲鹏众智计划项目：面向openGauss的数据库系统实践平台，2022年2月-2022年8月，负责人
5. 华为鲲鹏众智计划项目：openGauss支持在线reindex开发，2021年9月-2021年11月，负责人
6. 陕西省重点研发计划项目：区块链智能合约的建模与验证支撑环境研究，2020年1月-2021年12月，负责人
7. 国家自然科学基金面上项目：社交网络系统的建模与运行时验证，2017年1月-2020年12月，负责人
8. 国家自然科学基金面上项目：实时安全关键系统的建模、仿真与验证，2013年1月-2016年12月，负责人
9. 中央高校基本科研业务费资助项目：基于TMSVL的实时系统运行形式化分析，2014年1月-2015年12月，负责人
10. 中央高校基本科研业务费资助项目：基于RT-MSVL的实时安全关键系统的仿真、建模与验证，负责人
11. 中央高校基本科研业务费资助项目：基于SAT的组合Web服务的建模与验证，负责人
12. 软件工程国家重点实验室开放基金项目：基于投影时序逻辑的组合Web服务的建模与验证，负责人
13. 国家自然科学基金重点项目：开放软件系统的基础理论与关键技术，2012年1月-2016年12月，主要成员 

1. 教育部-阿里云计算有限公司，产学合作协同育人项目-新工科建设：基于阿里云平台的数据库管理系统设计与实现，2021年3月-2023年1月，负责人
2. 教育部-华为技术有限公司，产学合作协同育人项目-新工科建设：基于GaussDB100的数据库实验课程改革，2019年10月-2020年12月，负责人
3. 教育部-北京无忧创想信息技术有限公司，产学合作协同育人项目-教学内容和课程体系改革：关系数据库辅助设计系统研究，2020年1月-2020年12月，负责人

1. 2024年，陕西省高等教育教学成果二等奖，排名第5
2. 2023年，鲲鹏应用创新大赛全国总决赛金奖
3. 2022年，华为高斯传道授业杰出贡献奖
4. 2022年，教育部-华为智能基座优秀在线课程奖励计划：数据库系统
5. 2022年，华为鲲鹏众智星光奖
6. 2022年，陕西省高等教育教学成果二等奖，排名第4
7. 2021年，华为智能基座产教融合协同育人基地奖教金
8. 2021年，西安电子科技大学优秀教师
9. 2016年，西安电子科技大学师德先进个人
10. 2015年，陕西省科学技术奖一等奖，排名第4
11. 2014年，西安电子科技大学计算机学院“我最感谢的大学老师”
12. 2012年，西安电子科技大学优秀教师
13. 2010年，陕西省科学技术奖二等奖，排名第4
14. 2008年，西安电子科技大学第六届青年教师讲课竞赛，三等奖
15. 2008年，西安电子科技大学计算机学院青年教师讲课竞赛，特等奖